Doctoral research project : Parallel verification of a high - level Petri net algebra
نویسندگان
چکیده
Laboratory: Laboratory for Algorithmics, Complexity and Logic (LACL), University Paris-12 a. Director: Pr Gaétan Hains b. Email: [email protected] c. Team: “communicating systems” directed by Pr Elisabeth Pelz d. Postal address: LACL, Université Paris XII--Val de Marne, UFR de Sciences et Technologie, Bâtiment P2, 2 étage 61 avenue du Général de Gaulle, 94010 Créteil e. Phone: +33 (0)1 45 17 65 95 f. Fax: +33 (0)1 45 17 66 01 g. Web site: http://www.univ-paris12.fr/lacl/
منابع مشابه
The State of PEP ? Bernd
The PEP tool can be considered to be one of the most widely distributed Petri net based tools. A continuously increasing functionality and an adequate graphical user interface may have been good reasons for its acceptance. Currently the tool contains approximately 500,000 lines of source code, and supports (to the best of our knowledge) the widest variety of input formalisms and veriication met...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملPetri Nets as Executable Specifications of High-Level Timed Parallel Systems
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show that it is also executable in a parallel way. Executing a Petri net is not difficult in general but more complicated in a timed context, which makes necessary to synchronise the internal time of the Petri net with the r...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل